#ifndef __SCHEDULE_H_
#define __SCHEDULE_H_
#include "task.h"
void scheduleInit(void);
struct taskTCB* getScheduleTaskTop();
void scheduleInsert(struct taskTCB* task);
void scheduleRemove(struct taskTCB* task);
void schedule(void);

#endif /*__SCHEDULE_H_*/




